Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
arxiv.org·1d
Alexis King’s Blog
lexi-lambda.github.io·2d
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·20h
Tools I use
prepend.com·1d
CodeSOD: Validation Trimmed Away
thedailywtf.com·1d
Making a Language
thunderseethe.dev·9h
To assert() or not to assert()?
ilya-sher.org·3d
Explainer: Tree-sitter vs. LSP
lambdaland.org·1d
Subterms Modulo Theories I
philipzucker.com·3d
BPF Verifier State Pruning: Timeline
pchaigno.github.io·1d
Loading...Loading more...